/* A parametric interface for enumerations, * derived from java.util.Enumeration * @author Martin Odersky * @version 1.0alpha8 96/11/22 * @java-version 1.9, 08/13/95 * @java-author Lee Boynton */ package pizza.util; /** * The Enumeration interface specifies a set of methods that may be used * to enumerate, or count through, a set of values. The enumeration is * consumed by use; its values may only be counted once.<p> * * For example, to print all elements of a Vector v: * <pre> * for (Enumeration e = v.elements() ; e.hasMoreElements() ;) { * System.out.println(e.nextElement()); * } * </pre> * @see Vector * @see Hashtable */ public interface Enumeration<A> { /** * Returns true if the enumeration contains more elements; false * if its empty. */ boolean hasMoreElements(); /** * Returns the next element of the enumeration. Calls to this * method will enumerate successive elements. * @exception NoSuchElementException If no more elements exist. */ A nextElement(); } /* * @(#)Enumeration.java 1.9 95/08/13 * * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved. * * Permission to use, copy, modify, and distribute this software * and its documentation for NON-COMMERCIAL purposes and without * fee is hereby granted provided that this copyright notice * appears in all copies. Please refer to the file "copyright.html" * for further important copyright and licensing information. * * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES. */